Fuzion Logo
fuzion-lang.dev — The Fuzion Language Portal
JavaScript seems to be disabled. Functionality is limited.

read

io.buffered.Reader.read

read up to count bytes

returns either an array of the bytes read, end_of_file or an error
Postcondition
post debug: (result ? s Sequence => s.count<=max_count | * => true)
     debug 10 : (result ? s Sequence => s.is_array_backed | * => true)
0.099dev (GIT hash 250922c42fb1dcef5ce7ce89820538f53498ca37)
last changed: 2026-08-14